# LaTeX2HTML 2022 (Released January 1, 2022)
# Associate images original text with physical files.


$key = q//;
$cached_env_img{$key} = q|<IMG
  STYLE="height: 196.25ex; vertical-align: -0.12ex; " SRC="|."$dir".q|img8.png"
 ALT="\begin{picture}(0,0)
\multiput(-8000,-8000)(4000,0){5}{\circle*{300}}
\multiput(...
...{5}{\circle*{300}}
\multiput(-8000,8000)(4000,0){5}{\circle*{300}}
\end{picture}">|; 

$key = q/B;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 196.25ex; vertical-align: -0.12ex; " SRC="|."$dir".q|img6.png"
 ALT="$\B$">|; 

$key = q/Bimo;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 196.25ex; vertical-align: -0.12ex; " SRC="|."$dir".q|img5.png"
 ALT="$\Bimo$">|; 

$key = q/Mono;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 196.25ex; vertical-align: -0.12ex; " SRC="|."$dir".q|img7.png"
 ALT="$\Mono$">|; 

$key = q/bimo;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 196.25ex; vertical-align: -0.12ex; " SRC="|."$dir".q|img4.png"
 ALT="$\bimo$">|; 

$key = q/displaystylebinat;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 196.25ex; vertical-align: -0.12ex; " SRC="|."$dir".q|img12.png"
 ALT="$\displaystyle \binat$">|; 

$key = q/displaystylenat;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 3.50ex; vertical-align: 177.48ex; " SRC="|."$dir".q|img11.png"
 ALT="$\displaystyle \nat$">|; 

$key = q/mathchar;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 196.25ex; vertical-align: -0.12ex; " SRC="|."$dir".q|img2.png"
 ALT="$\mathchar$">|; 

$key = q/mkern;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 1.61ex; vertical-align: 177.69ex; " SRC="|."$dir".q|img3.png"
 ALT="$\mkern$">|; 

$key = q/mono;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 5.04ex; vertical-align: 173.64ex; " SRC="|."$dir".q|img1.png"
 ALT="$\mono$">|; 

$key = q/{picture}(0,0)put(0,0){circle*{300}}{picture};AAT/;
$cached_env_img{$key} = q|<IMG
  STYLE="height: 5.73ex; vertical-align: 173.85ex; " SRC="|."$dir".q|img10.png"
 ALT="\begin{picture}(0,0)\put(0,0){\circle*{300}}
\end{picture}">|; 

1;

